Вычисление булевых функций на машинах Тьюринга
Вычисление нижней границы длин расписаний
Вычисление экспоненциальных интегралов
Вычисления с оракулами: обобщённая селекция.
Вычислимость с двуместным оракулом.
Два сведения изоморфизма графов к задачам о полиномах
Две теоремы о сложности алгорифмов и вычислений
Дефинитные вероятностные автоматы
Доказательства в арифметике, использующие случайные числа
Задача об имплицирующем векторе и ее приложения
Замечания к обобщенным теоремам редукции для бесконечных автоматов
Иерархии операторов в конструктивных метрических пространствах
Иерархии программных логик
Изменение сложности функций при применении кратной рекурсии
Использование понятий отделенности и независимости для получения нижних оценок сложности схем
Исчисления с монотонными выводами и их экономическая интерпретация
К вопросу моделирования булевых случайных величин функциями алгебры логоки
К вопросу об автоматной сложности языков и сложности распознавания по Лавленду
К вопросу об асимптотических закономерностях при синтезе схем
К вопросу оптимального построения таблиц